$\forall$${\it the\_es}$:ES. Msg $\in$ Type